L. Beklemishev; "On the Classification of Propositional Provability Logics"